101. Language, logic, and computation :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

رده :
QA76
.
9
.
L63

102. Languages and tools for hybrid systems design /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Hybrid computers-- Programming.,Hybrid systems-- Computer simulation.,Hybrid systems-- Design-- Data processing.,Hybrid systems-- Mathematical models.,Programming languages (Electronic computers),System analysis-- Computer programs.,Hybrid computers-- Programming.,Programming languages (Electronic computers),System analysis-- Computer programs.,TECHNOLOGY & ENGINEERING-- Automation.

رده :
QA76
.
7
.
L36
2006

103. Languages for paralle architecturres

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)

موضوع: Parallel Processing (Computer Science),Programming languages ( Electronic computers) --Semantics,Computer architecture

رده :
QA
76
.
6
.
L3353
1989

104. Logic, language, and computation

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;

105. Logic, language, and computation

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses

رده :
QA
,
76
.
9
,.
L63
,
I565
,
2005

106. Logic, language, and computation :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

رده :
QA76
.
9
.
L63
I57
2009eb

107. Logic, language, and computation

پدیدآورنده:

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها

رده :
QA
75
.
5
.
L644
2015
E-Book
,

108. Logic of Domains

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
Z47
1991

109. Logic of domains

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
Z47
1991

110. Logic program synthesis and transformation - meta-programming in logic :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.

111. Logic programming :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory

112. Logics of specification languages

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)

موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
L65
2008

113. Logics of specification languages

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
L65
2008

114. Logics of specification languages

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
L63

115. Mathematical Foundations of Computer Science 1986 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer software.,Logic design.

رده :
QA267
.
E358
1986

116. Mathematical aspects of logic programming semantics

پدیدآورنده:

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Logic programming,Programming languages (Electronic computers),-- Semantics

رده :
005
.
115
H676M
2011

117. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming

رده :
QA
76
.
L4
v
.
239

118. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics

رده :
QA
76
.
L28
Vol
.
298

119. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses

رده :
QA
76
.
7
.
M378
1988

120. Mathematical foundations of programming semantics :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.

رده :
QA76
.
7
M535
1990